Smooth Finite T-norms and Their Equational Axiomatization

In this paper, as homage to Professor Gaspar Mayor in his 70 anniversary, we present a summary of results on BL-algebras and related structures that, using the one-to-one correspondence between divisible finite t-norms and finite BL-chains, allows us to provide an equational characterization of any divisible finite t-norm.